(0 15 3)(1 7 4)(2 17 12 10 8)(5 14 6)(9 18 16)(11 19 13)
ALLOWS (11/8)-SEQUENCE
1: (0 3 15)
(0 3 15)(1 7 4)(2 17 12 10 8)(5 14 6)(9 18 16)(11 19 13)
2: (2 17 12)
(0 3 15)(1 7 4)(2 10 8)(5 14 6)(9 18 16)(11 19 13)(12)(17)
3: (0 3 15)
(0)(1 7 4)(2 10 8)(3)(5 14 6)(9 18 16)(11 19 13)(12)(15)(17)
4: (9 18 16)
(0)(1 7 4)(2 10 8)(3)(5 14 6)(9)(11 19 13)(12)(15)(16)(17)(18)